A Projection-Based Approach for Real-time Assessment and Playability Check for Physics-Based Games Mohammad Shaker1 , Noor Shaker2 , Mohamed Abou-Zleikha3 and Julian Togelius4 1 Joseph Fourier University, Grenoble, Fran

Source URL: julian.togelius.com

• Algorithm
• Mathematical logic
• Theoretical computer science
• Gameplay
• Game
• Academia
• Human behavior

Location Choice for Shopping and Leisure Activities Implemented in the Activity-based Multi-agent Transport Simulation MATSim Andreas Horni Darren M. Scott Michael Balmer Kay.W. Axhausen

Source URL: www.strc.ch

• Economy
• Academia
• Business
• Systems theory
• Scientific modeling
• Transportation planning
• Algorithm
• Mathematical logic
• Theoretical computer science
• Scientific modelling
• Leisure
• Time

DELETED and NEW 7000 Course Numbers for SPED students on the Florida Alternate Assessment forSchool Year Grade(s) Subject

Source URL: ese.dadeschools.net

• Theoretical computer science
• Differential geometry
• Florida Comprehensive Assessment Test

Contract.Requires(amount > 0.0); Contract.Ensures(Balance == Contract.OldValue(Balance) + amount); Contract.Invariant(Balance > 0.0); Encouraging Effective Contract Specifications

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Formal methods
• Logic in computer science
• Postcondition
• Null

Spectrally degenerate graphs: Hereditary case Zdeněk Dvořák∗ Institute for Theoretical Computer Science (ITI)† Charles University Prague, Czech Republic email:

Source URL: iti.mff.cuni.cz

Complexity of the cop and robber guarding game R. Šámal, R. Stolař, T. Valla Charles University, Faculty of Mathematics and Physics, Institute for Theoretical Computer Science (ITI) Malostranské nám. 2/25, 118 00, P

Source URL: iti.mff.cuni.cz

Constraint Answer Set Solving Martin Gebser, Max Ostrowski, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. We present a new approach to integrating C

Source URL: www.cs.uni-potsdam.de

• Theoretical computer science
• Constraint programming
• Declarative programming
• Logic programming
• Mathematics
• Model theory
• Logic in computer science
• NP-complete problems
• Constraint satisfaction problem
• Answer set programming
• Constraint satisfaction
• Satisfiability modulo theories

ITI Series Institut Teoretick´e Informatiky Institute for Theoretical Computer Science

Source URL: iti.mff.cuni.cz

Preliminary Call for Papers

Source URL: www-or.amp.i.kyoto-u.ac.jp

• Theoretical computer science
• Computer science
• Peter Eades
• Mathematics
• Algorithm
• International Symposium on Algorithms and Computation
• Tetsuo Asano
• Academia